记质点经过 $2n$ 步回到原位置的概率为 $u_n$, 于是

最后一步由 Stirling 公式给出.

因此 $\nosum u_n = +\infty$, 从而该马氏链常返.